Typing Aberrance in Signal Transduction
نویسندگان
چکیده
We have developed a calculus, called Ipi, for describing the aberrance in biological models. Our approach extends the traditional pi calculus to handle aberrant process in the signal transduction. In this paper we propose a typing system that replaces the tag system of Ipi calculus. It is shown that the typing system is equal to the tag system in terms of the expressive power.
منابع مشابه
Secrecy of Signals by Typing in Signal Transduction
We discuss secrecy of signals in signal transduction. As we have developed a basic concurrent language with interferencial coefficients, Iπ-calculus, to describe aberrance in biological models, a typing system for Iπ-calculus is proposed for achieving secrecy of signals in signal transduction. We show that this typing system guarantees that, if signal transduction typechecks, then it does not l...
متن کاملRepresentation of the Signal Transduction with Aberrance Using Ipi Calculus
The pi calculus has been applied to modelling biochemical networks. In these applications, the modelling is done without considerations to exceptions. The Ipi calculus, the Interference pi calculus, is introduced to describe the signal transduction with aberrance. The calculus is obtained by adding two aberrant actions into the pi calculus and a tag system to check existing aberrance. A model o...
متن کاملThe Expression of Signal Regulatory Protein-alpha in Normal and Osteoarthritic Human Articular Cartilage and Its Involvement in Chondrocyte Mechano-transduction Response
Signal regulatory proteins (SIRP) belong to immunoglobulin super family (IgSF) and relate to integrin signaling cascades. It has been shown that SIRPa is expressed in a variety of cells including myeloid cells and neurons. In the present study the expression of this IgSF member in articular chondrocytes was investigated. Methods: Using a panel of anti-SIRPalpha antibodies, immunohistochemistry...
متن کاملThe Canonical Wnt Signaling (Wnt/β-Catenin Pathway): A Potential Target for Cancer Prevention and Therapy
Precise regulation of signal transduction pathways is crucial for normal animal development and for maintaining cellular and tissue homeostasis in adults. The Wnt/Frizzled-mediated signaling includes canonical and non-canonical signal transduction pathways. Upregulation or downregulation of the canonical Wnt-signaling (or the Wnt/β-Catenin signal transduction) leads to a variety of human diseas...
متن کاملDetecting and Predicting Muscle Fatigue during Typing By SEMG Signal Processing and Artificial Neural Networks
Introduction: Repetitive strain injuries are one of the most prevalent problems in occupational diseases. Repetition, vibration and bad postures of the extremities are physical risk factors related to work that can cause chronic musculoskeletal disorders. Repetitive work on a computer with low level contraction requires the posture to be maintained for a long time, which can cause muscle fatigu...
متن کامل